Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 4.Ident. | Authors (with country if any) | Title |
---|---|---|
003625 | Balder Ten Cate [Pays-Bas] ; Gabelaia David [Géorgie] ; Dmitry Sustretov [France] | Modal languages for topology: Expressivity and definability |
004F79 | Balder Ten Cate [Pays-Bas] ; David Gabelaia [Géorgie] ; Dmitry Sustretov [France] | Modal Languages for Topology: Expressivity and Definability |
005231 | Patrick Blackburn [France] ; Balder Ten Cate [Pays-Bas] | Pure Extensions, Proof Rules, and Hybrid Axiomatics |
006246 | Balder Ten Cate [Pays-Bas] | Interpolation for extended modal languages |
This area was generated with Dilib version V0.6.33. |